#ifndef __USER_PROG_TSS_H
#define __USER_PROG_TSS_H

#include "global.h"
#include "thread.h"

void update_tss_esp(struct task_struct* pthread);
void tss_init(void);
#endif